First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
871	Under consideration for publication in Math. Struct. in Comp. Science Geometry of Interaction VI: a Blueprint for Transcendental Syntax Jean-Yves Girard Revised August 28, 2013 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2013-08-28 11:34:52 Philosophical logic A priori and a posteriori Analytic–synthetic distinction Mathematical proof Modal logic Immanuel Kant First-order logic Entailment Linear logic Logic Mathematical logic Philosophy
872	The Z Notation: A Reference Manual Second Edition J. M. Spivey Programming Research Group Add to Reading List Source URL: spivey.oriel.ox.ac.uk Language: English - Date: 2001-10-02 16:44:20 Formal languages Predicate logic Programming language Mathematical notation First-order logic Z notation Type theory Regular expression EXPRESS Logic Mathematics Mathematical logic
873	Dependent Type Theory of Stateful Higher-Order Functions Aleksandar Nanevski and Greg Morrisett Harvard University {aleks\|greg}@eecs.harvard.edu Abstract Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Program logic Predicate logic Formal methods Logic in computer science Computability theory Hoare logic Lambda calculus First-order logic Separation logic Mathematical logic Mathematics Logic
874	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski Amal Ahmed Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Lambda calculus Models of computation Formal methods Computability theory Model theory First-order logic Calculus of constructions Heap Function Mathematical logic Mathematics Theoretical computer science
875	Polymorphism and Separation in Hoare Type Theory Aleksandar Nanevski Harvard University [removed] Greg Morrisett Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:56 Models of computation Lambda calculus Predicate logic Computability theory First-order logic Hoare logic Ordinal number Curry–Howard correspondence Mathematical logic Theoretical computer science Logic
876	30 For Michael Potter, ed., Mathematical Knowledge, Oxford University Press 2007 On Quantifying into Predicate Position: Steps towards a New(tralist) Perspective Add to Reading List Source URL: as.nyu.edu Language: English - Date: 2007-05-09 19:53:00 Predicate logic Semantics Philosophy of language First-order logic Universal quantification Second-order logic Truth-value semantics Existential quantification Proposition Logic Mathematical logic Quantification
877	Minimization of Formal Knowledge in Cognitive and Machine Learning Systems: Research Presentation Andrew Gleibman [removed] Abstract. The article describes the current status of our research started from ge Add to Reading List Source URL: www.sampletalk.com Language: English - Date: 2013-09-17 05:33:20 Reasoning Predicate logic Programming paradigms Mathematical logic Cyc Ontology Inference Logic programming First-order logic Logic Science Knowledge
878	Applications of Feasible Path Analysis to Program Testing Allen Goldberg, T.C. Wang, David Zimmerman* Kestrel Institute 3260 Hillview Avenue Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:07 Mathematical logic Automated theorem proving Formal methods Metalogic KeY Resolution First-order logic Model theory Well-formed formula Logic Mathematics Theoretical computer science
879	KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304 Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 12:59:59 Type theory Reasoning Proof theory Deduction Natural deduction Logical framework Resolution First-order logic Type system Logic Mathematical logic Automated theorem proving
880	STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving Add to Reading List Source URL: www.ai.sri.com Language: English - Date: 2004-10-11 17:29:55 Automated planning and scheduling STRIPS First-order logic FO Mathematical logic Logic Metalogic

UPDATE